#include <iostream>
#include <iomanip>

using namespace std;

int main() {
    long long milliseconds;
    cin >> milliseconds;

    // 将毫秒转换为秒
    long long seconds = milliseconds / 1000;

    // 计算小时、分钟和秒
    int hours = (seconds / 3600) % 24;
    int minutes = (seconds % 3600) / 60;
    int secs = seconds % 60;

    // 输出格式化的时间
    cout << setfill('0') << setw(2) << hours << ":"
         << setfill('0') << setw(2) << minutes << ":"
         << setfill('0') << setw(2) << secs << endl;

    return 0;
}    